#ifndef SATURNOS_KERN_INC_MONITOR_H
#define SATURNOS_KERN_INC_MONITOR_H

#include <types.h>

void monitor_write(char *c);
void monitor_write_num(uint32_t n, unsigned int base);
void monitor_write_hex(uint32_t n);
void monitor_write_dec(uint32_t n);
void monitor_clear();



#endif /* SATURNOS_KERN_INC_MONITOR_H */

